Don't use GTK_WIDGET_*SET_FLAGS (wid, GTK_RC_STYLE)

https://bugzilla.gnome.org/show_bug.cgi?id=69872

diff --git a/gtk/gtkwidget.c b/gtk/gtkwidget.c
index 70f7d83641e9fcf356bc4c1ec7ca4f8855d6e122..a9541c64c2d426fc5a61adcda5a5460c4c5224c6 100644 (file)
--- a/gtk/gtkwidget.c
+++ b/gtk/gtkwidget.c
@@ -6467,7 +6467,7 @@ gtk_widget_set_style (GtkWidget *widget,
 
       initial_emission = !gtk_widget_has_rc_style (widget) && !GTK_WIDGET_USER_STYLE (widget);
       
-      GTK_WIDGET_UNSET_FLAGS (widget, GTK_RC_STYLE);
+      GTK_OBJECT_FLAGS (widget) &= ~(GTK_RC_STYLE);
       GTK_PRIVATE_SET_FLAG (widget, GTK_USER_STYLE);
       
       gtk_widget_set_style_internal (widget, style, initial_emission);
@@ -6510,7 +6510,7 @@ gtk_widget_reset_rc_style (GtkWidget *widget)
   initial_emission = !gtk_widget_has_rc_style (widget) && !GTK_WIDGET_USER_STYLE (widget);
 
   GTK_PRIVATE_UNSET_FLAG (widget, GTK_USER_STYLE);
-  GTK_WIDGET_SET_FLAGS (widget, GTK_RC_STYLE);
+  GTK_OBJECT_FLAGS (widget) |= GTK_RC_STYLE;
   
   if (gtk_widget_has_screen (widget))
     new_style = gtk_rc_get_style (widget);